1. Correct hardware design methodologies
المؤلف: / Edited by Paolo Prinetto, Paolo Camurati
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
2. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
المؤلف: M. Leeser, G. Brown, eds
المکتبة: (طهران)
موضوع: Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
3. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989